Home

-- Author: Garry Morrison
-- Updated: 2022/2/3
--
-- Convert between Kelvin, Celsius and Fahrenheit:

to-Kelvin |K: *> #=> |_self>
to-Celsius |K: *> #=> |C:> __ round[2] minus[273.15] extract-value |_self>
to-Fahrenheit |K: *> #=> |F:> __ round[2] minus[459.67] times-by[9/5] extract-value |_self>

to-Kelvin |C: *> #=> |K:> __ round[2] plus[273.15] extract-value |_self>
to-Celsius |C: *> #=> |_self>
to-Fahrenheit |C: *> #=> |F:> __ round[2] plus[32] times-by[9/5] extract-value |_self>

to-Kelvin |F: *> #=> |K:> __ round[2] times-by[5/9] plus[459.67] extract-value |_self>
to-Celsius |F: *> #=> |C:> __ round[2] times-by[5/9] minus[32] extract-value |_self>
to-Fahrenheit |F: *> #=> |_self>

-- some wrapper operators:
to-K |*> #=> to-Kelvin |_self>
to-C |*> #=> to-Celsius |_self>
to-F |*> #=> to-Fahrenheit |_self>

K-to-C |*> #=> to-Celsius (|K> :_ |_self>)
K-to-F |*> #=> to-Fahrenheit (|K> :_ |_self>)

C-to-K |*> #=> to-Kelvin (|C> :_ |_self>)
C-to-F |*> #=> to-Fahrenheit (|C> :_ |_self>)

F-to-K |*> #=> to-Kelvin (|F> :_ |_self>)
F-to-C |*> #=> to-Celsius (|F> :_ |_self>)

is-Kelvin |K: *> => |yes>
is-Kelvin |*> => |no>
is-Celsius |C: *> => |yes>
is-Celsius |*> => |no>
is-Fahrenheit |F: *> => |yes>
is-Fahrenheit |*> => |no>


-- table[Celsius, to-Kelvin, to-Fahrenheit] range(|C: 0>, |C: 100>, |5>)
tidy-table[Celsius, to-Kelvin, to-Fahrenheit] range(|C: 0>, |C: 100>, |5>)